<?xml version='1.0'?>

<gl_extension name="GL_EXT_index_texture" reg_no="93">
</gl_extension>
